Iterating Transducers in the Large (Extended Abstract)
نویسندگان
چکیده
Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the reachable set of states of a system requires acceleration techniques that can finitely compute the effect of an unbounded number of transitions. Among the acceleration techniques that have been proposed, one finds both specific and generic techniques. Specific techniques exploit the particular type of system being analyzed, e.g. a system manipulating queues or integers, whereas generic techniques only assume that the transition relation is represented by a finite-state transducer, which has to be iterated. In this paper, we investigate the possibility of using generic techniques in cases where only specific techniques have been exploited so far. Finding that existing generic techniques are often not applicable in cases easily handled by specific techniques, we have developed a new approach to iterating transducers. This new approach builds on earlier work, but exploits a number of new conceptual and algorithmic ideas, often induced with the help of experiments, that give it a broad scope, as well as good performance.
منابع مشابه
Languages in AC de ned by iterating nite transducers
We present an explicit construction of AC circuits that simulate nite state transducer iteration. Our approach yields circuits with only Θ(n log(n)) linear fan-in gates, whereas the circuits built from standard proof of L ⊆ AC use matrix multiplication and hence have Θ(n log(n)) such gates.
متن کاملA Secret Key Cryptosystem by Iterating a Chaotic Map
Abstract Chaos i s introduced to cryptology. As an example of the applications, a secret key cryptosystem by iterating a one dimensional chaotic map i s proposed. This system is based on the characteristics of chaos, which are sensitivity of parameters, sensitivity of initial points, and randomness of sequences obtained by iterating a chaotic map. A ciphertext is obtained by the iteration of a ...
متن کاملA large residual cyst in the left anterior region of maxilla: A case report
Abstract Background and Objectives: residual cyst is an odontogenic cyst that develops after a tooth with a radicular cyst is extracted so that all or part of the cyst remain in place. These cysts are known as asymptomatic inflammatory odontogenic cysts and form approximately 10% of odontogenic cysts. Case Report: a 30 years old man patient, referred to the department of oral medicine of...
متن کاملIterating Inverse Binary Transducers
We study iterated transductions defined by a class of inverse transducers over the binary alphabet. The transduction semigroups of these automata turn out to be free Abelian groups and the orbits of finite words can be described as affine subspaces in a suitable geometry defined by the generators of these groups. We show that iterated transductions are rational for a subclass of our automata.
متن کامل